ANNotated Ada

language, specification (Anna) A specification language

developed at Stanford University ca. 1980 for formally

specifying Ada programs. It has a Specification Analyzer

and a Consistency Checking System. It adds semantic

assertions in the form of Ada comments.

.

["ANNA - A Language for Annotating Ada Programs", David

Luckham et al, Springer 1987].

(1994-11-01)